windowManager: Make use of the switch-panels-backward keybinding

We have it in the schema so there's no reason for it not to work.

https://bugzilla.gnome.org/show_bug.cgi?id=689528

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 42b2e6697426059fbeb6f6760e49680809c0678c..f4e957838920cd2becd99ecadb96218fd6fef051 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -155,6 +155,13 @@ const WindowManager = new Lang.Class({
                                         Main.KeybindingMode.UNLOCK_SCREEN |
                                         Main.KeybindingMode.LOGIN_SCREEN,
                                         Lang.bind(this, this._startA11ySwitcher));
+        this.setCustomKeybindingHandler('switch-panels-backward',
+                                        Main.KeybindingMode.NORMAL |
+                                        Main.KeybindingMode.OVERVIEW |
+                                        Main.KeybindingMode.LOCK_SCREEN |
+                                        Main.KeybindingMode.UNLOCK_SCREEN |
+                                        Main.KeybindingMode.LOGIN_SCREEN,
+                                        Lang.bind(this, this._startA11ySwitcher));
 
         this.addKeybinding('open-application-menu',
                            new Gio.Settings({ schema: SHELL_KEYBINDINGS_SCHEMA }),